1. Dag Prawitz on Proofs and Meaning
المؤلف: / Heinrich Wansing (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Dag Prawitz on proofs and meaning /
المؤلف: Heinrich Wansing, editor
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic design.,Logic, Symbolic and mathematical.,Logic.,Philosophy.,Logics and Meanings of Programs.,Mathematical Logic and Foundations.,Philosophy.
رده :
BC71
3. Displaying modal logic
المؤلف: Heinrich Wansing
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Modality (Logic)
4. Essays on Non-Classical Logic
المؤلف: \ Editor Heinrich Wansing
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
5. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
6. Essays on non-classical logic
المؤلف: / editor, Heinrich Wansing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
7. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
8. Essays on non-classical logic
المؤلف: editor, Heinrich Wansing
المکتبة: (طهران)
موضوع: ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E83
9. Nonclassical Logics and Information Processing :
المؤلف: edited by David Pearce, Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
10. Proof Theory of Modal Logic
المؤلف: edited by Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
11. Proof theory of N4-related paraconsistent logics /
المؤلف: Norihiro Kamide, Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Inconsistency (Logic),Inconsistency (Logic)
12. The logic of information structures
المؤلف: Wansing, Heinrich T.
المکتبة: (طهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
13. <The> logic of information structures
المؤلف: Heinrich Wansing
المکتبة: (کرمان)
موضوع: Data structures
رده :
QA
76
.
9
.
W3
,
D35
14. <The> logic of information structures
المؤلف: Heinrich Wansing
المکتبة: (کرمان)
موضوع: Data structures
رده :
QA
76
.
9
.
W3
,
D35
15. The logic of information structures
المؤلف: Wansing, Heinrich
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
16. Towards Mathematical Philosophy
المؤلف: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
17. Towards mathematical philosophy
المؤلف: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
18. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
المؤلف: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
19. What is negation?
المؤلف: edited by Dov M. Gabbay and Heinrich Wansing.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Negation (Logic)
رده :
BC199
.
N4
E358
2011
